Formal Methods in Industrial Software Standards Enforcement
نویسندگان
چکیده
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test derivation from the resulting formal specifications. Strong technological support of such a process in its engineering aspects makes it applicable to software standards of reallife complexity. This is illustrated by its application to Linux Standard Base. The work stands in line with goals of international initiative Grand Challenge 6: Dependable Systems Evolution [1].
منابع مشابه
Programming Research Group Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards Safety-critical Systems, Formal Methods and Standards
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly aaects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing conndence in such systems. This paper examines the industrial use of these techniques, the recommendations con...
متن کاملSafety-critical systems, formal methods and standards - Software Engineering Journal
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded computer-based systems. The use of formal methods is often advocated as a way of increasing confidence in such systems. This paper examines the industrial use of these techniques, the recommendations c...
متن کاملDedukti: A Universal Proof Checker
Context The success of formal methods both as tools of practical importance and as objects of intellectual curiosity, has spawned a bewildering variety of software systems to support them. While the field has developed to maturity in academia and has registered some important successes in the industry, the full benefit of formal methods in an industrial setting remains largely untapped. We subm...
متن کاملPlug-in Proof Support for Formal Development Environments
A number of industrial software development standards mandate that safety-critical software components be developed using formal methods, including formal verification. While formal development is supported by a number of formal development environments, verification of correctness properties is still a major bottleneck. Most formal development environments provide built-in facilities for disch...
متن کاملAn International Survey of Industrial Applications of Formal Methods Volume 2 Case Studies
Formal methods are mathematically-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyze computer systems. The purpose of this study is to evaluate international industrial experience in using formal methods. The cases selected are, we believe, representative of industrial-grade projects and span a variety of application do...
متن کامل